Định nghĩa Groupoid cơ bản

Groupoid cơ bản của một không gian tô-pô X (hợp lý) là groupoid trong đó các đối tượng là các điểm của X và các cấu xạ là các lớp đồng luân của các đường cong nối hai điểm.[1]

Đối với mỗi điểm x của X, nhóm tự đẳng cấu của x là nhóm các vòng tại x, là nhóm cơ bản của X tại x.